type crypto/elliptic/internal/fiat.p224Int1
one use
crypto/elliptic/internal/fiat (current package)
p224_fiat64.go#L44: type p224Int1 int64 // We use uint64 instead of a more narrow type for performance reasons; see https://github.com/mit-plv/fiat-crypto/pull/1006#issuecomment-892625927
The pages are generated with Golds v0.4.9. (GOOS=linux GOARCH=amd64)